Formal Logics of Discovery and Hypothesis Formation by Machine
نویسندگان
چکیده
The following are the aims of the paper: (1) To call the attention of the community of Discovery Science to certain existing formal systems for DS developed in Prague in 60's till 80's suitable for DS and unfortunately largely unknown. (2) To illustrate the use of the calculi in question on the example of the GUHA method of hypothesis generation by computer, subjecting this method to a critical evaluation in the context of contemporary data mining. (3) To stress the importance of Fuzzy Logic for DS and inform on the present state of mathematical foundations of Fuzzy Logic. (4) Finally, to present a running research program of developing calculi of symbolic fuzzy logic for DS and for a fuzzy GUHA method.
منابع مشابه
EQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملExamine the Relationship between the Process-Oriented Organizations by Strategy Formation as a Formal Process
This article examines the role of management in business processes in relation to the process-oriented organization and strategy formation as a formal process (strategic planning). A questionnaire designed to measure these variables after the validity and reliability among a sample of 183 managers, officials and experts in working systems, information technology and strategic planning in major ...
متن کاملKnowledge representation and processing with formal concept analysis
During the last three decades, formal concept analysis (FCA) became a well-known formalism in data analysis and knowledge discovery because of its usefulness in important domains of knowledge discovery in databases (KDD) such as ontology engineering, association rule mining, machine learning, as well as relation to other established theories for representing knowledge processing, like descripti...
متن کاملReassembling Formal Features in Articles by L1 Persian Learners of L2 English
There has been considerable debate over what the sources of morphological variation in second language acquisition are. From among various hypotheses put forth on the topic, the feature reassembly hypothesis (Lardiere, 2005) assumes that it is the reconfiguration of features in the L2 which causes variation between the performance of natives and non-natives. Acknowle...
متن کاملDrug Discovery Acceleration Using Digital Microfluidic Biochip Architecture and Computer-aided-design Flow
A Digital Microfluidic Biochip (DMFB) offers a promising platform for medical diagnostics, DNA sequencing, Polymerase Chain Reaction (PCR), and drug discovery and development. Conventional Drug discovery procedures require timely and costly manned experiments with a high degree of human errors with no guarantee of success. On the other hand, DMFB can be a great solution for miniaturization, int...
متن کامل